Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs

The aim of this work is to describe a procedure for the partial evaluation of functional logic programs in rewriting-based languages using constraint-based information propagation. The partial evaluation algorithm incorporated with local and global control describes a KMP partial evaluator. We show results from the implementation of the partial evaluator in the rewriting-based functional logic language Escher. Finally, we discuss extensions of the partial evaluation procedure which may lead to greater specialisation.